Çekme Düzensizliği Bulunan Betonarme Binaların Geçiş Kat Döşemelerinin Modellenmesi

Automata for KAT Expressions

Kleene algebra with tests (KAT) is a decidable equational system for program verification, that uses both Kleene and Boolean algebras. In spite of KAT ’s elegance and success in providing theoretical solutions for several problems, not many efforts have been made towards obtaining tractable decision procedures that could be used in practical software verification tools. The main drawback of the...

KAT and PHL in Coq

In this article we describe an implementation of Kleene algebra with tests (KAT) in the Coq theorem prover. KAT is an equational system that has been successfully applied in program verification and, in particular, it subsumes the propositional Hoare logic (PHL). We also present an PHL encoding in KAT, by deriving its deduction rules as theorems of KAT. Some examples of simple program's formal ...

5-eksen Frezelemede Kuvvet ve Şekil Hatalarının Modellenmesi

5 eksen freze operasyonları havacılık, otomotiv ve kalıpçılık sektörlerinde karmaşık yüzeylerin talaşlı imalatında sıklıkla kullanılır. Bütün bu operasyonlarda boyut toleransları ve yüzey kalitesi çok önemlidir. Parçada veya kesici takımda kesme kuvvetleri nedeniyle oluşan esnemeler kabul edilemeyecek parça kalitesine sebep olabilirler. İstenilen kalitenin daha yüksek bir verimlilik ile sağlanm...

CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması

Özetçe. Bir sistemi oluşturan dağıtık elektronik kontrol birimleri arasındaki iletişim gerekleri, birimler arası veriyolunun seçimini ve tasarımını belirlemektedir. Controller Area Network (CAN) veriyolu, sağladığı bant genişliği, hata toleransı ve düşük maliyeti nedeniyle araç içi haberleşmede, akıllı evlerde ve endüstriyel kontrol sistemlerinde sıklıkla kullanılan bir protokoldür. Ancak olay ...

İş Süreçlerinin Hedef Tabanlı Modellenmesi İçin Bir Araç